#pragma once

namespace solver 
{
	const int max_clause_literals = 31;
	const int max_variables = 100000;
	const int max_clauses = 100000;
	const int max_conflict_changes = 1000;
}
